1. A PROGRAMMER'S INTRODUCTION TO COMPUTABILITY AND FORMAL LANGUAGES
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
623
,.
712
,
KUP
2. A course in formal languages, automata and grops
پدیدآورنده : Chiswell, Ian, 8491-
کتابخانه: (طهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
3. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
4. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
5. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
6. A programmer's introduction to computability and formal languages
پدیدآورنده : Kurki-Suonio, Reino.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
K87
7. A second course in formal languages and automata theory
پدیدآورنده : Shallit, Jeffrey Outlaw.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
8. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
9. <AN> Introduction to formal languages and Automata
پدیدآورنده : Peter Linz
کتابخانه: (کرمان)
موضوع : Formal languages
رده :
QA
267
.
3
.
L5
,
F6
10. 26, 2010, Advanced Lectures-Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21
پدیدآورنده : / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
11. Algebraic and automata-theoretic properties of formal languages
پدیدآورنده : Ginsburg, Seymour
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
G54
12. <An> introduction to formal languages and automata
پدیدآورنده : Peter Linz
موضوع : Formal languages,Machine theory
۹ نسخه از این کتاب در ۶ کتابخانه موجود است.
13. An introduction to formal languages and automata
پدیدآورنده : Peter Linz
کتابخانه: (کرمان)
موضوع : Formal languages,Machine theory
رده :
QA
267
.
3
.
L56
2006
14. An introduction to formal languages and automata
پدیدآورنده : / by Peter Linz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
L56
2000
15. An introduction to formal languages and automata
پدیدآورنده : / Peter Linz
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
L56
2006
16. An introduction to formal languages and automata
پدیدآورنده : / by Peter Linz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
L56
2008
17. An introduction to formal languages and automata
پدیدآورنده : Linz, Peter.
کتابخانه: (طهران)
موضوع : Formal languages , Machine theory
رده :
QA
267
.
3
.
L56
1997
18. An introduction to formal languages and automata
پدیدآورنده : Linz, Peter
کتابخانه: (طهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
L56
2001
19. An introduction to formal languages and automata
پدیدآورنده : Linz, Peter.
کتابخانه: (طهران)
موضوع : Formal languages , Machine theory
رده :
QA
267
.
3
.
L56
20. An introduction to formal languages and automata
پدیدآورنده : / Peter Linz
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal languages,Machine theory
رده :
QA276
.
3
.
L56
2006
